COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.CENT(Problems)
C00005 ENDMK
C⊗;
.CENT(Problems)
.BEGIN "prob1" TABs 4,18,40,56;turn on "\";nofill;krk;
.GROUP;
1.##Which of the following are dotted-pairs?
.PT2
\%2a.%3 (X . Y)\%2b.%3 ((A . (B . C))\ %2c.%3  A2 \ %2d.%3 (X . Y2 . Z)
.pt18
.APART
.GROUP;
%1
2.##Write the following as LISP trees:
.pt2
\%2a.%3  ((A . B) . (B . (C . D))) \\%2b.%3  (((A . B) . C) . E)
.pt2
\%2c.%3  ((X . NIL) . (Y . (Z . NIL))) \\%2d.%3  (NIL . NIL)
.pt18;
.APART
.END "prob1"
%1
.GROUP
3.##Write the following LISP trees as S-exprs:
.pt2;
.BEGIN SELECT g;NOFILL;PREFACE 0 MILLS;GROUP;
.TURN OFF "%","#","\";
.TURN ON "∞" FOR "%";
.TURN ON "?" FOR "\";
.TABS 7,30,50;
.KRK
     ?   ∞2a.∞* ?    ∞2b.∞*	?      ∞2c.∞*
     ?    /\    ?   /\          ?    /\
     ?   /  \   ?  /  \	        ?   /  \
     ?  /   /\  ? A   /\	?  A   /\
     ? /   /  \ ?    /  \	?     /  \
     ?A   B    C?   /    \	?    B   /\
		?  /\    /\	?       /  \
		? /  \   D E	?      C   /\
		? A  NIL	?         /  \
		?		?        D   NIL
.END



.APART
.GROUP
.BEGIN SELECT b;NOFILL;PREFACE 0 MILLS;GROUP;
.TURN OFF "%","#","α";
.TURN ON "∞" FOR "%";
.KRK
∞2d.∞* 		                ∞2e.∞*
⊂αααπααα⊃  ⊂αααπααααα⊃  ⊂ααααααπααα⊃  ⊂αααπααα⊃  ⊂αααπααααα⊃
~ # ~ #αβα→~ # ~  #  ~  ~ CONS ~ #αβα→~ X ~ #αβα→~ Y ~ NIL ~
%αβα∀ααα$  %αβα∀ααβαα$  %αααααα∀ααα$  %ααα∀ααα$  %ααα∀ααααα$
  ↓          ~    ↓
 CAR         ~   NIL
             ~  ⊂αααααπααα⊃  ⊂αααπααααα⊃
	     %α→~  #  ~ #αβα→~ # ~  #  ~
	        %ααβαα∀ααα$  %αβα∀ααβαα$
		   ↓           ↓    ↓
		 QUOTE         A   NIL
.END
.APART